Nuprl Definition : qsum 11,40
qsum(a; b; j.E(j)) == rng_sum(qrng; a; b; j.E(j)) 
latex

Definitionsrng_sum(r; i; j; k.E(k)), qrng
FDL editor aliasesqsum

origin